Examples of Features Transition Systems, and python code performing the static analysis, related to the examples described in the paper: "Static Analysis of Featured Transition Systems"
Supplementary material 1: Original data of Gliomas publication Supplementary material 2: Python cod...
Replication package for the paper: The Relationship Between Different Python Argument-Passing Mechan...
This is the template Python script that can be used to replicate the results in the paper "An ecolog...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Empirical data and code used in paper *Towards a Large-Scale Empirical Study of Python3 Type Annotat...
This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
Collection of Python scripts in support of the paper "Evidence of abrupt changes in sea ice dynamica...
Supplementary materials of the paper entitled: “Testing Software’s Changing Features with Environme...
This supplemental document includes S1 to S5 Figs and Python routines of segmentation, baseline subt...
This is the supplementary material to the Bachelor's Thesis "The Future of ENSO in CMIP6 Models". S...
Text includes a derivation for the transition rates, a full set of posterior parameter estimates, an...
Software bugs are costly: they can have disastrous consequences on critical systems, but also on mor...
This is a Python code implemented as part of the research reported in the paper cited below: Martine...
Supplementary material 1: Original data of Gliomas publication Supplementary material 2: Python cod...
Replication package for the paper: The Relationship Between Different Python Argument-Passing Mechan...
This is the template Python script that can be used to replicate the results in the paper "An ecolog...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Empirical data and code used in paper *Towards a Large-Scale Empirical Study of Python3 Type Annotat...
This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
Collection of Python scripts in support of the paper "Evidence of abrupt changes in sea ice dynamica...
Supplementary materials of the paper entitled: “Testing Software’s Changing Features with Environme...
This supplemental document includes S1 to S5 Figs and Python routines of segmentation, baseline subt...
This is the supplementary material to the Bachelor's Thesis "The Future of ENSO in CMIP6 Models". S...
Text includes a derivation for the transition rates, a full set of posterior parameter estimates, an...
Software bugs are costly: they can have disastrous consequences on critical systems, but also on mor...
This is a Python code implemented as part of the research reported in the paper cited below: Martine...
Supplementary material 1: Original data of Gliomas publication Supplementary material 2: Python cod...
Replication package for the paper: The Relationship Between Different Python Argument-Passing Mechan...
This is the template Python script that can be used to replicate the results in the paper "An ecolog...
DOI
Add to ORKG